On the Use of Subtypes in ABEL ( Revised
نویسنده
چکیده
ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed rst order language with subtypes and partial functions. The paper presents a constructive fragment of the core, based on terminating generator induction. We show how subtypes can be used to augment expressiveness and strengthen syntactic controls.
منابع مشابه
The Use of Fuzzy Variational Iteration Method For Solving Second-Order Fuzzy Abel-Volterra Integro-Differential Equations
In this paper, fuzzy variational iteration method (FVIM) is proposed to solve the second- order fuzzy Abel-Volterra integro-differential equations. The existence and uniqueness of the solution and convergence of the proposed method are proved in details. is investigated to verify convergence results and to illustrate the efficiently of the method.
متن کاملA Method to Approximate Solution of the First Kind Abel Integral Equation Using Navot's Quadrature and Simpson's Rule
In this paper, we present a method for solving the rst kind Abel integral equation. In thismethod, the rst kind Abel integral equation is transformed to the second kind Volterraintegral equation with a continuous kernel and a smooth deriving term expressed by weaklysingular integrals. By using Sidi's sinm - transformation and modied Navot-Simpson'sintegration rule, an algorithm for solving this...
متن کاملFuzzy collocation methods for second- order fuzzy Abel-Volterra integro-differential equations
In this paper we intend to offer new numerical methods to solve the second-order fuzzy Abel-Volterraintegro-differential equations under the generalized $H$-differentiability. The existence and uniqueness of thesolution and convergence of the proposed methods are proved in details and the efficiency of the methods is illustrated through a numerical example.
متن کاملSome new families of definite polynomials and the composition conjectures
The planar polynomial vector fields with a center at the origin can be written as an scalar differential equation, for example Abel equation. If the coefficients of an Abel equation satisfy the composition condition, then the Abel equation has a center at the origin. Also the composition condition is sufficient for vanishing the first order moments of the coefficients. The composition conjectur...
متن کاملAnatomical location of basal cell carcinoma in relation to histopathological subtypes: Analysis of 189 cases in Hamadan Sina Hospital during 1997-99
Background: Basal cell carcinoma (BCC) is the most common skin cancer in whites. Objective: Determination of anatomical localization of BCC in relation to histological subtypes of this tumor. Patients and methods: This survey is a descriptive cross sectional study carried out on 189 cases of BCC patients diagnosed in Hamadan Sina hospital between 1997-1999. Results: This study showed 7 hi...
متن کامل